9.67/11.07	unsat
