0.60/0.70	unsat
