63.62/66.60	unsat
