69.15/70.99	unsat
