8.67/11.37	unsat
