2.38/3.92	unsat
