65.49/70.25	unsat
