68.88/70.07	unsat
