69.45/70.23	unsat
