63.42/66.31	unsat
