8.67/11.68	unsat
