69.98/71.02	unsat
