0.38/0.53	unsat
