65.97/66.15	unsat
