0.47/0.56	unsat
