10.67/15.02	unsat
