9.25/9.67	unsat
