9.48/11.67	unsat
