82.99/83.06	unsat
