0.66/0.70	unsat
