9.18/9.67	unsat
