6.38/7.26	unsat
