9.67/11.10	unsat
