63.94/66.79	unsat
