70.04/70.88	unsat
