9.67/11.51	unsat
