14.67/15.59	unsat
