69.28/73.54	unsat
