83.33/87.06	unsat
