80.66/82.06	unsat
