1.38/3.42	unsat
