9.38/9.67	unsat
