69.72/70.01	unsat
