1.38/6.23	unsat
