0.57/0.70	unsat
