0.38/0.42	unsat
