65.13/67.83	unsat
