7.38/8.24	unsat
