8.67/11.50	unsat
