80.42/81.64	unsat
