69.92/70.08	unsat
