68.28/68.60	unsat
