63.94/64.13	unsat
