68.28/70.60	unsat
