64.93/66.61	unsat
