16.39/18.06	unsat
