0.28/0.56	unsat
