2.38/2.42	unsat
