66.48/66.60	unsat
