10.67/14.59	unsat
