14.06/16.89	unsat
