66.43/69.11	unsat
