9.17/11.67	unsat
