rej14: Add results for certainF-1