10.67/10.81	unsat
