65.74/70.78	unsat
