0.04/0.70	unsat
