8.90/11.74	unsat
