0.31/0.56	unsat
