68.97/70.62	unsat
