1.38/1.42	unsat
