69.92/70.80	unsat
