0.51/0.56	unsat
