69.42/72.90	unsat
