65.09/70.25	unsat
