7.38/7.72	unsat
