10.67/10.74	unsat
