65.64/68.92	unsat
