7.38/7.87	unsat
