5.38/7.51	unsat
