0.07/0.52	unsat
