1.38/6.22	unsat
