65.60/69.18	unsat
