0.38/0.52	unsat
