65.97/75.92	unsat
