9.36/11.67	unsat
