9.97/11.67	unsat
