9.67/11.82	unsat
