66.47/69.49	unsat
