6.38/7.12	unsat
